graph theory:terminal vertex